@def colorBorder #bbbbbb;
@def colorBackground #eeeeee;
@def colorTextHeading #0066ff;

@external .gwt-*;
.gwt-splitlayoutpanel-hdragger {
  background: #ffffff none;
  cursor: w-resize e-resize;
}

body {
  font-size: 62.5%;
  font-family: calibri, helvetica, arial, sans-serif;
}

.vhxTopBar {
  padding: 4px;
  background-color: #000000;
  color: #cccccc;
}

.vhxTopBarText {
  font-size: 1.2em;
}

.vhxHeader {
  border-bottom: 1px solid colorBorder;
  background-color: colorBackground;
}

.vhxTitle {
  position: absolute;
  top: 4px;
  bottom: 4px;
  left: 4px;
  font-size: 3.5em;
  font-weight: bold;
  color: colorTextHeading;
  line-height: 40px;
}

.vhxFooter {
  margin: 4px;
  padding: 4px;
  font-size: 1.2em;
  border: 1px solid colorBorder;
  background-color: colorBackground;
}

.vhxContent {
  margin: 0 0.4em 0 0;
  border: 0.1em solid colorBorder;
}

.vhxNavPanel {
  margin: 0 0 0 0.4em;
}

.vhxNavStackHeader {
  background-color: colorBackground;
  color: colorTextHeading;
  font-size: 1.5em;
  line-height: 22px;
  text-align: center;
  position: absolute;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
  padding: 4px;
}

.vhxNavStackHeader:hover {
  background-color: #aaaaaa;
}
